Ubuntu: Dock Settings Missing In Gnome-Control-Center After Upgrade To Ubuntu 17.10